\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}Benutzung}{2}{chapter.1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{lol}{\addvspace {10\p@ }}
\newlabel{chapter:Benutzung}{{1}{2}{Benutzung}{chapter.1}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {1.1}{\ignorespaces OBDD}}{2}{figure.1.1}}
\newlabel{fig:1_example}{{1.1}{2}{OBDD}{figure.1.1}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {1.2}{\ignorespaces ROBDD}}{3}{figure.1.2}}
\newlabel{fig:2_example}{{1.2}{3}{ROBDD}{figure.1.2}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {1.3}{\ignorespaces QROBDD}}{4}{figure.1.3}}
\newlabel{fig:3_example}{{1.3}{4}{QROBDD}{figure.1.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {1.4}{\ignorespaces QROBDD mit vorgegebener Variablenreihenfolge}}{5}{figure.1.4}}
\newlabel{fig:4_example}{{1.4}{5}{QROBDD mit vorgegebener Variablenreihenfolge}{figure.1.4}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {1.5}{\ignorespaces ROBDD nach Weight-Heuristik}}{6}{figure.1.5}}
\newlabel{fig:5_example}{{1.5}{6}{ROBDD nach Weight-Heuristik}{figure.1.5}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {1.6}{\ignorespaces QROBDD mit teilweise vorgegebener Reihenfolge}}{7}{figure.1.6}}
\newlabel{fig:6_example}{{1.6}{7}{QROBDD mit teilweise vorgegebener Reihenfolge}{figure.1.6}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Implementierung}{8}{chapter.2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{lol}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Boolesche Funktionen}{8}{section.2.1}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces Framework f\IeC {\"u}r Boolesche Funktionen}}{8}{figure.2.1}}
\newlabel{fig:bexp_uml}{{2.1}{8}{Framework für Boolesche Funktionen}{figure.2.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}Variablenreihenfolge}{9}{section.2.2}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces Strategien zur Variablenreihenfolge}}{9}{figure.2.2}}
\newlabel{fig:var_order}{{2.2}{9}{Strategien zur Variablenreihenfolge}{figure.2.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}Shannon-Expansion}{9}{section.2.3}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.3}{\ignorespaces nach Shannon-Expansion}}{9}{figure.2.3}}
\newlabel{fig:shannon_expand}{{2.3}{9}{nach Shannon-Expansion}{figure.2.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}BDD Erzeugung}{10}{section.2.4}}
\@writefile{toc}{\contentsline {section}{\numberline {2.5}DOT Diagramm}{10}{section.2.5}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.4}{\ignorespaces BDD Framework}}{11}{figure.2.4}}
\newlabel{fig:bdd_uml}{{2.4}{11}{BDD Framework}{figure.2.4}{}}
